# Category Theory

Category Theory, roughly, is a general mathematical theory of structures and systems of structures, relations between structures and how they interact. Introduced by Samuel Eilenberg and Saunders Mac Lane in the middle 20th centruy, as such it is quite a new field of mathematics. Many areas of computer science rely on category theory, eg. functional programming and semantics.

Category Theory studies three key concepts: categories, objects and moprhisms.